Bei MakeTeXFont kann es leicht zu Speicherknappheit kommen, wenn noch
andere Programme laufen (DVIPrint braucht zum Beispiel ebenfalls viel
Speicher). Wenn also bei dem automatischen Aufruf aus anderen Programmen
zu Problemen kommt, sollte man MakeBatch benutzen.